Matthias Baaz：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (20)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Cambridge University Press

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

年:

2011

语言:

english

文件:

PDF, 3.80 MB

5.0 / 5.0

english, 2011

Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Cambridge University Press

Baaz, Matthias, Harper, Jr Charles L., Papadimitriou, Christos H., Putnam, Hilary W., Scott, Dana S

年:

2014

语言:

english

文件:

PDF, 3.80 MB

5.0 / 0

english, 2014

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

年:

2003

语言:

english

文件:

PDF, 6.16 MB

0 / 0

english, 2003

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)

年:

2002

语言:

english

文件:

PDF, 4.40 MB

0 / 0

english, 2002

Logic Colloquium ’01: Lecture Notes In Logic, 20

A K Peters/CRC Press

Matthias Baaz, Sy-David Friedman, Jan Krajícek

年:

2005

语言:

english

文件:

PDF, 174.16 MB

0 / 0

english, 2005

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

A.K.Peters

Baaz, Matthias, Friedman, Sy D., Krajíček, Jan (eds.)

年:

2005

语言:

english

文件:

DJVU, 3.74 MB

0 / 0

english, 2005

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

A K Peters/CRC Press;A.K.Peters

Matthias Baaz, Sy-David Friedman, Jan Krajícek (eds.)

年:

2005

语言:

english

文件:

DJVU, 3.74 MB

0 / 0

english, 2005

$Kurt G\u00f6del and the Foundations of Mathematics: Horizons of Truth$

Kurt G\u00f6del and the Foundations of Mathematics: Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

语言:

english

文件:

PDF, 3.80 MB

5.0 / 0

english

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

年:

2005

语言:

english

文件:

PDF, 4.55 MB

0 / 0

english, 2005

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)

年:

2002

语言:

english

文件:

PDF, 2.24 MB

0 / 0

english, 2002

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

年:

2003

语言:

english

文件:

PDF, 4.13 MB

0 / 0

english, 2003

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

年:

1996

语言:

english

文件:

PDF, 11.88 MB

0 / 0

english, 1996

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

年:

1996

语言:

english

文件:

DJVU, 4.15 MB

0 / 0

english, 1996

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

语言:

spanish

文件:

AZW3 , 2.03 MB

0 / 0

spanish, 2008

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

语言:

spanish

文件:

EPUB, 684 KB

0 / 0

spanish, 2008

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

语言:

spanish

文件:

MOBI , 1.17 MB

0 / 0

spanish, 2008

LNCS 2803 - Computer Science Logic (Frontmatter Pages)

Matthias Baaz & Johann A. Makowsky

年:

2008

语言:

spanish

文件:

PDF, 5.62 MB

0 / 0

spanish, 2008

Methods of Cut-elimination

Springer

Alexander Leitsch, Matthias Baaz

年:

2011

语言:

english

文件:

PDF, 1.35 MB

0 / 0

english, 2011

Lectures on Soft Computing and Fuzzy Logic

Physica-Verlag Heidelberg

Matthias Baaz, Agata Ciabattoni (auth.), Prof. Antonio Di Nola, Prof. Giangiacomo Gerla (eds.)

年:

2001

语言:

english

文件:

PDF, 12.58 MB

0 / 0

english, 2001

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)

年:

2002

语言:

english

文件:

PDF, 4.79 MB

0 / 0

english, 2002